(assert (select)
